1. Dirk van Dalen Festschrift
پدیدآورنده : Henk Barendregt, Marc Bezem, Jan Willem Klop (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Dalen, D. van -- (Dirk), -- 1932-,Logic, Symbolic and mathematical.,Logica.
رده :
QA9
.
H465
1993
